Перевод: со всех языков на все языки

со всех языков на все языки

intensional object

См. также в других словарях:

  • Intensional logic — embraces the logical study of intensional languages. While in extensional languages all of their functors are extensional (and that suffices in many formal languages developed for formalizing special fields in mathematics or science),… …   Wikipedia

  • Object of the mind — An object of the mind is an object which exists in the imagination, but which, in the real world, can only be represented or modeled. Some such objects are mathematical abstractions, literary concepts, or fictional scenarios. Closely related are… …   Wikipedia

  • Frege–Church ontology — The Frege–Church ontology is an ontology, a theory of existence. Everything is considered as being in three categories, object (referent, denotation), name, or concept (sense). The ontology was developed by Alonzo Church[1] based on ideas of… …   Wikipedia

  • Church Frege ontology — The Church Frege Ontology is an ontology, a theory of existence. Everything is considered as being in three categories, object (referent, denotation), name, or concept (sense). The ontology was developed by Alonzo Church [ Church, Alonzo. A… …   Wikipedia

  • Definition — For other uses, see Definition (disambiguation). A definition is a passage that explains the meaning of a term (a word, phrase or other set of symbols), or a type of thing. The term to be defined is the definiendum. A term may have many different …   Wikipedia

  • Intuitionistic type theory — Intuitionistic type theory, or constructive type theory, or Martin Löf type theory or just Type Theory is a logical system and a set theory based on the principles of mathematical constructivism. Intuitionistic type theory was introduced by Per… …   Wikipedia

  • logic, philosophy of — Philosophical study of the nature and scope of logic. Examples of questions raised in the philosophy of logic are: In virtue of what features of reality are the laws of logic true? ; How do we know the truths of logic? ; and Could the laws of… …   Universalium

  • Ontology components — Contemporary ontologies share many structural similarities, regardless of the language in which they are expressed. Most ontologies describe individuals (instances), classes (concepts), attributes, and relations. Contents 1 Overview 2 Individuals …   Wikipedia

  • Datalog — is a query and rule language for deductive databases that syntactically is a subset of Prolog. Its origins date back to the beginning of logic programming, but it became prominent as a separate area around 1977 when Hervé Gallaire and Jack Minker …   Wikipedia

  • Function (mathematics) — f(x) redirects here. For the band, see f(x) (band). Graph of example function, In mathematics, a function associates one quantity, the a …   Wikipedia

  • List of philosophy topics (I-Q) — II and thou I Ching I Ching I proposition I Thou I Thou relationshipIaIamblichus (philosopher)IbYahya Ibn Adi Yahya Ibn Adi Ibn al Arabi Muhyi al Din Ibn al Arabi Abu Bakr Ibn Bajja Abu Bakr Ibn Bājja Abu Bakr Muhammad Ibn Yahya Ibn as Say igh… …   Wikipedia

Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»